xend: Pass information to user when failing migrate due to PCI dev.
authorKeir Fraser <keir@xensource.com>
Sun, 1 Jul 2007 21:10:38 +0000 (22:10 +0100)
committerKeir Fraser <keir@xensource.com>
Sun, 1 Jul 2007 21:10:38 +0000 (22:10 +0100)
commitc32cff27bab6b78df0ea846bc7ddae3090f3d88a
tree1f06914e5e7cb5c9e0a390bd0956683ca82c1857
parent450f5b5b9e64c3afccc49fdec6af5b768cedaded
xend: Pass information to user when failing migrate due to PCI dev.

When failing a migration / save due to the domain owning a PCI device
make sure that we tell the user what went wrong!

Signed-off-by: Mark Williamson <mark.williamson@cl.cam.ac.uk>
tools/python/xen/xend/XendCheckpoint.py
tools/python/xen/xend/XendDomain.py